از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

در سیستم های بلادرنگ بزرگ، به دلایلی مانند پیچیدگی سیستم، عدم درک کامل از سیستم، پایین آوردن نرخ خطاها و غیره، قبل از پیاده سازی سیستم، مدلهایی از این سیستم ها ایجاد میشود و صحت آنها با استفاده از روشهای مختلف درستی یابی سیستم، مورد بررسی قرار می گیرد. از روشهای موجود برای درستی یابی سیستم های بلادرنگ، می توان به روش های رسمی و ریاضی از جمله خودکارهای زمان دار برای مدل سازی و روش بررسی مدل برای...

چکیده ندارد.

در میان ارکان سه گانه حکومت، قوه مجریه، مقننه و قضائیه، قوه قضائیه پررنگ ترین نقش را در حمایت از حقوق شهروندی ایفا می کند. بنابراین اصلاح و ارتقای این نهاد، گامی مؤثر در پیشبرد حقوق بشر است. اصلاحات دستگاه قضایی در صورتی کارآمد خواهد بود که استانداردهای جهانی و حساسیت های محلی را هم زمان در نظر بگیرد؛ در غیر این صورت، محکوم به شکست است. به زمامداری الگویی جهانی با قابلیت بومی سازی است و پیش فرض...

در میان ارکان سه‌گانه حکومت، قوه مجریه، مقننه و قضائیه، قوه قضائیه پررنگ‌ترین نقش را در حمایت از حقوق شهروندی ایفا می‌کند. بنابراین اصلاح و ارتقای این نهاد، گامی مؤثر در پیشبرد حقوق بشر است. اصلاحات دستگاه قضایی در صورتی کارآمد خواهد بود که استانداردهای جهانی و حساسیت‌های محلی را هم‌زمان در نظر بگیرد؛ در غیر این‌ صورت، محکوم به شکست است. بِه‌زمامداری الگویی جهانی با قابلیت بومی‌سازی است و پیش‌فر...

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

چکیده ندارد.

توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...